$\forall$$T$:Type, $f$:($T$$\rightarrow$$T$), $x$:$T$. ($\neg$($f$($x$) = $x$)) $\Rightarrow$ $f$($x$) = $f$+($x$)